Reflection Coefficient Transformations for Phase-Shift Circuits

Differential reflection phase shift under conditions of attenuated internal reflection

Effect of spurious reflection on phase shift interferometry.

The phase errors caused by spurious reflection in Twyman-Green and Fizeau interferometers are studied. A practical algorithm effectively eliminating the error is presented. Two other algorithms are reviewed, and the results obtained using the three algorithms are compared.

Quantitative reflection phase mesoscopy by remote coherence tuning of phase-shift interference patterns

Conventional low-magnification phase-contrast microscopy is an invaluable, yet a qualitative, imaging tool for the interrogation of transparent objects over a mesoscopic millimeter-scale field-of-view in physical and biological settings. Here, we demonstrate that introducing a compact, unbalanced phase-shifting Michelson interferometer into a standard reflected brightfield microscope equipped w...

Digital Binary Phase-shift Keyed Signal Detector

We have developed the effective algorithm for detecting digital binary phase-shift keyed signals. This algorithm requires a small number of arithmetic operations over the signal period. It can be relatively easy implemented based on the modern programmable logic devices. It also provides high interference immunity by identifying signal presence when signal-to-noise ratio is much less that its w...

Transformations into Normal Forms for Quantified Circuits

We consider the extension of Boolean circuits to quantified Boolean circuits by adding universal and existential quantifier nodes with semantics adopted from quantified Boolean formulas (QBF). The concept allows not only prenex representations of the form ∀x1∃y1...∀xn∃yn c where c is an ordinary Boolean circuit with inputs x1, ..., xn, y1, ..., yn. We also consider more general non-prenex norma...